softlink include/linux/topology.h include/asm-ia64/linux/topology.h
softlink include/linux/seqlock.h include/asm-ia64/linux/seqlock.h
softlink include/linux/jiffies.h include/asm-ia64/linux/jiffies.h
+softlink include/linux/jiffies.h include/asm-ia64/linux/jiffies.h
null include/asm-ia64/linux/file.h
null include/asm-ia64/linux/module.h
null include/asm-ia64/linux/serial_core.h
null include/asm-ia64/linux/seq_file.h
null include/asm-ia64/linux/cpu.h
+null include/asm-ia64/linux/ioport.h
softlink include/linux/byteorder/generic.h include/asm-ia64/linux/byteorder/generic.h
softlink include/linux/byteorder/little_endian.h include/asm-ia64/linux/byteorder/little_endian.h
unsigned long pteval, logps = (itir >> 2) & 0x3f;
unsigned long translate_domain_pte(UINT64,UINT64,UINT64);
- if (((itir & ~0xfc) >> 2) < PAGE_SHIFT) {
+ if (((itir & 0xfcL) >> 2) < PAGE_SHIFT) {
printf("vcpu_itc_d: domain trying to use smaller page size!\n");
//FIXME: kill domain here
while(1);
unsigned long translate_domain_pte(UINT64,UINT64,UINT64);
// FIXME: validate ifa here (not in Xen space), COULD MACHINE CHECK!
- if (((itir & ~0xfc) >> 2) < PAGE_SHIFT) {
+ if (((itir & 0xfcL) >> 2) < PAGE_SHIFT) {
printf("vcpu_itc_i: domain trying to use smaller page size!\n");
//FIXME: kill domain here
while(1);
#define ____cacheline_maxaligned_in_smp
#include "asm/types.h" // for u64
-struct device {
-#if 0
- struct list_head node; /* node in sibling list */
- struct list_head bus_list; /* node in bus's list */
- struct list_head driver_list;
- struct list_head children;
- struct device * parent;
-
- struct kobject kobj;
- char bus_id[BUS_ID_SIZE]; /* position on parent bus */
-
- struct bus_type * bus; /* type of bus device is on */
- struct device_driver *driver; /* which driver has allocated this
- device */
- void *driver_data; /* data private to the driver */
- void *platform_data; /* Platform specific data (e.g. ACPI,
- BIOS data relevant to device) */
- struct dev_pm_info power;
- u32 power_state; /* Current operating state. In
- ACPI-speak, this is D0-D3, D0
- being fully functional, and D3
- being off. */
-
- unsigned char *saved_state; /* saved device state */
- u32 detach_state; /* State to enter when device is
- detached from its driver. */
-
-#endif
- u64 *dma_mask; /* dma mask (if dma'able device) */
-#if 0
- struct list_head dma_pools; /* dma pools (if dma'ble) */
-
- void (*release)(struct device * dev);
-#endif
-};
// warning: unless search_extable is declared, the return value gets
// truncated to 32-bits, causing a very strange error in privop handling
struct exception_table_entry *finish);
void sort_main_extable(void);
-// defined (why?) in include/asm-i386/processor.h
-// used in common/physdev.c
-#define IO_BITMAP_SIZE 32
-#define IO_BITMAP_BYTES (IO_BITMAP_SIZE * 4)
-
#define printk printf
#undef __ARCH_IRQ_STAT
#define seq_printf(a,b...) printf(b)
#define CONFIG_BLK_DEV_INITRD // needed to reserve memory for domain0
-//
-#define __smp_processor_id() (current->processor)
-
// needed for newer ACPI code
#define asmlinkage
#else
# define __attribute_used__ __attribute__((__unused__))
#endif
+